Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

While researchers in business ethics, moral philosophy, and jurisprudence have advanced the study of corporate agency, there have been very few attempts to bring together insights from these and other disciplines in the pages of the Journal of Business Ethics. By introducing to an audience of business ethics scholars the work of outstanding authors working outside the field, this interdisciplinary special issue addresses this lacuna. Its aim is to encourage the formulation of innovative arguments that reinvigorate the study of corporate (...) agency and stimulate further cross-fertilization of ideas between business ethics, law, philosophy, and other disciplines. (shrink)

Democracy is one of the virtues we ache for, as many now observe an undemocratic society as a savage society. Richard L. Sklar built up a hypothesis called developmental democracy in which he opines that democracy will essentially prompts the improvement of African people and states. For the most part, there has been contention whether development precedes democracy or rather democracy helps development, which is very much unclear. Regardless of the answer, since the prodemocracy charges hit Africa since 1990s, democracy (...) has not made substantial strides. There have still been huge issues of underdevelopment, corruption and mal-administration. Many have started scrutinizing the possibility of democracy been ideal for Africa. The purpose of this paper is to audit the possibility of developmental democracy within African context. This paper presents that democracy is not ideal for Africa, it likewise guarantees that, if democracy is really what it is said to be, there would not have been any requirement for polarization, for instance, developmental, liberal, social democracies and so on. This is because any democracy will essentially include all. It is on this background that the paper attempts to criticize Richard’s Sklar’s idea of developmental democracy. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that facts about (...) individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

This paper rereads David Hume's Dialogues Concerning Natural Religion as dramatising a distinctive, naturalistic account of toleration. I have two purposes in mind: first, to complete and ground Hume's fragmentary explicit discussion of toleration; second, to unearth a potentially attractive alternative to more recent, Rawlsian approaches to toleration. To make my case, I connect Dialogues and the problem of toleration to the wider themes of naturalism, scepticism and their relation in Hume's thought, before developing a new interpretation of Dialogues (...) part 12 as political drama. Finally, I develop the Humean theory of toleration I have discovered by comparison between Rawls's and Hume's strategies for justification of a tolerant political regime. (shrink)

The received view of Kripke's Wittgenstein on Rules and Private Language is that it fails as an interpretation because, inter alia, it ignores or overlooks what Wittgenstein has to say in the second paragraph of Philosophical Investigations 201. In this paper, I demonstrate that the paragraph in question is in fact fully accommodated within Kripke's reading, and cannot therefore be reasonably utilised to object to it. -/- In part one I characterise the objection; in part two I explain why it (...) fails; in part three I suggest why commentators might have been motivated to offer it; and in part four I claim that two commentators who have offered it also imply otherwise. (shrink)

This essay is a critical notice of David Dyzenhaus's book, The Long Arc of Legality. I argue that Dyzenhaus’s criterion for distinguishing legal pathologies that undermine law's contractarian claim to legitimacy and political pathologies that do not is unsustainable. It relies on a categorical distinction between the threat to law's legitimacy posed by treating some subjects as de jure second-class citizens, whose formal legal status is compromised, and other threats to political legitimacy grounded in the treatment of some subjects (...) as de facto second-class citizens, who retain full formal legal equality but suffer from thoroughgoing substantive subordination. But some forms of de facto second-class citizenship are a greater threat to contractarian legitimacy than some forms of full formal equality. So formal equality for subjects and legal legitimacy come apart. I consider and respond to several responses on Dyzenhaus's behalf, and conclude by proposing a version of his jurisprudential theory that relaxes this distinction. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la (...) filosofia del linguaggio. Lo scopo del volume è offrire una panoramica di questo dialogo al contempo accessibile e rigorosa, pensata sia per gli studenti di un corso universitario, sia per il lettore non specialista. Se da un lato tutte le necessarie nozioni tecniche sono rese accessibili ai non addetti ai lavori, dall'altro si restituisce un'immagine fedele delle sfide concettuali che la ricerca in questi settori è oggi chiamata ad affrontare. (shrink)

Saunders Mac Lane famously remarked that "Bourbaki just missed" formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre--which then had to wait until Daniel Kan's 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms within a category, i.e., homomorphisms. When Samuel's treatment is reconsidered in view of the treatment of adjoints using heteromorphisms or hets (object-to-object morphisms between (...) objects in different categories), then he, in effect, isolated the concept of a left representation solving a universal mapping problem. When dualized to obtain the concept of a right representation, the two halves only need to be united to obtain an adjunction. Thus Samuel was only a now-simple dualization away for formulating adjoints in 1948. Apparently, Bodo Pareigis' 1970 text was the first and perhaps only text to give the heterodox "new characterization" (i.e., heteromorphic treatment) of adjoints. Orthodox category theory uses various relatively artificial devices to avoid formally recognizing hets--even though hets are routinely used by the working mathematician. Finally we consider a "philosophical" question as to whether the most important concept in category theory is the notion of an adjunction or the notion of a representation giving a universal mapping property (where adjunctions arise as the special case of a bi-representation of dual universal mapping problems). (shrink)

Just when philosophers of science thought they had buried Freud for the last time, he has quietly reappeared in the writings of moral philosophers. Two analytic ethicists, Samuel Scheffler and John Deigh, have independently applied Freud’s theory of the superego to the problem of moral motivation. Scheffler and Deigh concur in thinking that although Freudian theory doesn’t entirely solve the problem, it can nevertheless contribute to a solution.

The philosophy of Samuel Clarke is of central importance for an adequate understanding of Hume’s Treatise.2 Despite this, most Hume scholars have either entirely overlooked Clarke’s work, or referred to it in a casual manner that fails to do justice to the significance of the Clarke-Hume relationship. This tendency is particularly apparent in accounts of Hume’s views on space in Treatise I.ii. In this paper, I argue that one of Hume’s principal objectives in his discussion of space is to (...) discredit Clarke’s Newtonian doctrine of absolute space and, more deeply, the ‘argument a priori’ that Clarke constructs around it. On the basis of this interpretation, I argue that Hume’s ‘system’ of space constitutes an important part of his more fundamental ‘atheistic’ or anti- Christian objectives in the Treatise.3. (shrink)

The philosophy of Samuel Clarke is of central importance to Hume’s Treatise. Hume’s overall attitude to Clarke’s philosophy may be characterized as one of systematic scepticism. The general significance of this is that it sheds considerable light on Hume’s fundamental “atheistic” or anti-Christian intentions in the Treatise. These are all claims that I have argued for elsewhere.’ In this paper I am concerned to focus on a narrower aspect of this relationship between the philosophies of Clarke and Hume. Specifically, (...) I will consider Hume’s views on the subjects of materialism and necessity in relation to Clarke’s enormously influential debate with Anthony Collins on these topics. I begin by describing the nature and context of this controversy; I then examine how Hume‘s positions on questions of materialism and necessity stand in relation to the positions and arguments taken up by Clarke and Collins; and finally I explain the deeper significance of these specific issues for Hume’s wider “atheistic” or anti-Christian objectives in the Treatise. Hume’s views on the closely related subjects of materialism and necessity, I maintain, constitute core elements of his “atheistic” project in the Treatise, and they manifest his basic antipathy to the theistic metaphysics of the Christian religion in general,and to the Newtonian cosmology of Clarke in particular. (shrink)

My principal objective in this essay will be to show that the widely held view that Hume's Treatise' is not significantly or "directly" concerned with problems of religion is seriously mistaken. I shall approach this issue by way of an examination of a major skeptical theme that runs throughout the Treatise; namely, Hume's skepticism regarding the powers of demonstrative reason. In this paper I shall be especially concerned to bring to light the full significance of this skeptical theme by placing (...) Hume's arguments in their appropriate historical context. I shall show that both Hume and his contemporaries recognized that these important skeptical arguments were aimed primarily against the dogmatic Christian rationalism of John Locke and above all Samuel Clarke, and that they were, therefore, well aware that these arguments had considerable theological significance. (shrink)

‘...if you learn to think like Peter Cave – with freshness, humour, objectivity and penetration – you will have been amply rewarded.’ :::: Prof. Felipe Fernandez-Armesto, University of Notre Dame __________________ Chapter Titles:>>> ___ 1 Lao Tzu: The Way to Tao >>> 2 Sappho: Lover >>> 3 Zeno of Elea: Tortoise Backer, Parmenidean Helper >>> 4 Gadfly: aka ‘Socrates’ >>> 5 Plato: Charioteer, Magnificent Footnote Inspirer – ‘Nobody Does It Better’ >>> 6 Aristotle: Earth-Bound, Walking >>> 7 Epicurus: Gardener, Curing (...) the Soul, Ably Assisted by Lucretius >>> 8 Avicenna: Flying Man, Unifier >>> 9 Descartes: With Princess, With Queen >>> 10 Spinoza: God-Intoxicated Atheist >>> 11 Leibniz: Monad Man >>> 12 Bishop Berkeley, ‘That Paradoxical Irishman’: Immaterialist, Tar-Water Advocate >>> 13 David Hume: The Great Infidel or Le Bon David >>> 14 Kant: Duty Calls, Categorically >>> 15 Schopenhauer: Pessimism With Flute >>> 16 John Stuart Mill: Utility Man, With Harriet, Soul-Mate >>> 17 Søren Kierkegaard: Who? >>> 18 Karl Marx: Hegelian, Freedom-Fighter >>> 19 Lewis Carroll: Curiouser and Curiouser >>> 20 Nietzsche: God-Slaying Jester, Trans-Valuer >>>> 21 Bertrand Russell: Radical, Aristocrat >>> 22 G. E. Moore: Common-Sense Defender, Bloomsbury’s Sage >>> 23 Heidegger: Hyphenater >>> 24 Jean-Paul Sartre: Existentialist, Novelist, French >>> 25 Simone Weil: Refuser and Would-Be Rescuer >>> 26 Simone de Beauvoir: Situated, Protester, Feminist >>> 27 Ludwig Wittgenstein: Therapist >>> 28 Hannah Arendt: Controversialist, Journalist? >>> 29 Iris Murdoch: Attender >>> 30 Samuel Beckett: Not I >>>. (shrink)

Is there a political philosophy of conservatism? A history of the phenomenon written along sceptical lines casts doubt on the existence of a transhistorical doctrine, or even an enduring conservative outlook. The main typologies of conservatism uniformly trace its origins to opposition to the French Revolution. Accordingly, Edmund Burke is standardly singled out as the ‘father’ of this style of politics. Yet Burke was de facto an opposition Whig who devoted his career to assorted programmes of reform. In restoring Burke (...) to his original milieu, the argument presented here takes issue with 20th-century accounts of conservative ideology developed by such figures as Karl Mannheim, Klaus Epstein and Samuel Huntington. It argues that the idea of a conservative tradition is best seen as a belated construction, and that the notion of a univocal philosophy of conservatism is basically misconceived. (shrink)

Classical liberals have a long and convoluted history with the welfare state. Welfare policy has engaged liberals ever since the debates round poor relief, land ownership, and distributive justice in authors like John Locke, Thomas Paine, Herbert Spencer, and Henry George. However, the majority of the welfare state debate, from David Hume and Adam Smith to Milton Friedman and Richard Epstein, has been conducted primarily on the basis of rule-consequentialist reasoning, weighing the expected (long-term) costs and benefits of (...) different institutional rules. Classical liberals tend to be primarily concerned with welfare in the “happiness of individuals” sense and only secondarily with welfare in the “government handout” sense. This necessitates an investigation into the expected benefits and costs of various institutional rules and social policies. As a result, any disagreements about the best institutional pathway forward must be settled through comparative institutional analysis. Today, it seems to me that the classical liberal perspective must choose between two alternative pathways, each of which has its pros and cons, and each of which seems compatible with the abstract and general rules of the market society: 1) The Minimally Redistributive State based on a classical liberal constitution supported by robust market institutions and a civil society mosaic of polycentric mutual aid networks; or 2) The Welfare State of Law which, in addition to all of the above, adds a few carefully rule-bound and market-conforming redistributive mechanisms, the most important of which is the robust guarantee of something like a conditional minimum income scheme or an unconditional UBI/NIT scheme. In addition, the 3) “Third Way” models of the Social Market Economy and the Free Market Welfare State are also sometimes included as a third option. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Hume’s criticisms of divine causation are insufficient because he does not respond to important philosophical positions that are defended by those whom he closely read. Hume’s arguments might work against the background of a Cartesian definition of body, or a Malebranchian conception of causation, or some defenses of occasionalism. At least, I will not here argue that they succeed or fail against those targets. Instead, I will lay out two major deficiencies in his arguments against divine causation. I call these (...) “deficiencies” because Hume does not adequately address live positions. This does not mean, of course, that there are not problems with these views or that Hume could not have given strong arguments against them. Rather, Hume’s arguments, which can seem comprehensive to the twenty-first century reader, are in fact not so. For the deficiencies discussed in this essay, I point to writers from Hume’s near context (many of whom we know he read carefully) who held the views not discussed, and I provide reasons why Hume seems not to have entertained these possibilities. I won’t distinguish between accidentally overlooking and actively ignoring. By drawing attention to these three deficiencies, I have two goals. The first is to demonstrate the diversity of seventeenth and early eighteenth century views on divine causation, especially among philosophers in England, Scotland, and Ireland, who are often ignored by philosophers today who, like Hume, focus on continental Cartesians while ignoring British dualists and vitalists. The second goal is to make today’s readers aware of shortcomings in Hume’s arguments to encourage productively contextual readings of Hume and his contemporaries. (shrink)

Thomas Kuhn ve svých pozdějších pracích ostře napadá tzv. silný program sociologie vědění a důsledně se vůči němu vymezuje. Tato skutečnost je zajímavá z toho důvodu, že představitelé silného programu se naopak ke Kuhnovi otevřeně hlásí a vydatně čerpají z jeho díla, neboť v něm spatřují řadu klíčových myšlenek, které implikují možnost sociologické analýzy vědeckého poznání. Cílem této studie je kriticky přezkoumat Kuhnovu kritiku silného programu a zhodnotit její oprávněnost. V první části je za tímto účelem nejprve rekonstruováno Kuhnovo pojetí (...) silného programu, jež je posléze porovnáno s pracemi jeho zakladatelů Davida Bloora a Barryho Barnese, v nichž je silný program teoreticky rozvíjen. V další části jsou Kuhnovy argumenty proti silnému programu konfrontovány s vybranou historickou studií, v níž je silný program aplikován v praxi. Třetí část pak obrací pozornost ke Kuhnovu vlastnímu pojetí vědy, které je v ní porovnáno se silným programem právě v těch aspektech, jež na něm Kuhn kritizuje. (shrink)

For well over a century the dominant narrative covering the major thinkers and themes of early modern British philosophy has been that of “British Empiricism”, within which the great triumvirate of Locke-Berkeley-Hume are taken to be the dominant figures. Although it is now common to question this schema as a way of analyzing and understanding the period in question, it continues to command considerable authority and acceptance. (One likely reason for this is that no credible or plausible alternatives structures or (...) schemas of analysis have suggested themselves.) Be this as it may, the analysis of the rival systems of Clarke, Berkeley and Hume makes clear that this narrative, however deeply entrenched it may be, is wholly misleading and both distorts and obscures key themes and figures in the period in question. (shrink)

Pain asymbolia is a rare condition caused by brain damage, usually in adulthood. Asymbolics feel pain but appear indifferent to it, and indifferent also to visual and verbal threats. How should we make sense of this? Nikola Grahek thinks asymbolics’ pains are abnormal, lacking a component that make normal pains unpleasant and motivating. Colin Klein thinks that what is abnormal is not asymbolics’ pains, but asymbolics: they have a psychological deficit making them unresponsive to unpleasant pain. I argue that an (...) illuminating account requires elements of both views. Asymbolic pains are indeed abnormal, but they are abnormal because asymbolics are. I agree with Klein that asymbolics are incapable of caring about their bodily integrity; but I argue against him that, if this is to explain not only their indifference to visual and verbal threat, but also their indifference to pain, we must do the following: (i) take asymbolics’ lack of bodily care not as an alternative to, but as an explanation of their pains’ missing a component, and (ii) claim that the missing component consists in evaluative content. Asymbolia, I conclude, reveals not only that unpleasant pain is composite, but that its ‘hedomotive component’ is evaluative. (shrink)

The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...) philosophy, I develop a focal point view to resolve these motivating questions. On the focal point view, traditional epistemic norms and zetetic norms answer different types of normative questions. There is nevertheless a familiar type of evaluative tension between traditional epistemic norms and zetetic norms, but this tension is an unavoidable feature of the normative landscape and not a sign that traditional epistemic norms need revision. But if traditional epistemic norms are not zetetic norms, then in what sense is zetetic epistemology a project for epistemologists? I conclude by articulating a sense in which some nontraditional epistemic norms are zetetic norms, and in which zetetic epistemology is an important part of the study of theoretical rationality. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

There are two versions of the language-of-thought hypothesis (LOT): Representational LOT (roughly, structured representation), introduced by Ockham, and computational LOT (roughly, symbolic computation) introduced by Fodor. Like many others, I oppose the latter but not the former. Quilty-Dunn et al. defend representational LOT, but they do not defend the strong computational LOT thesis central to the classical-connectionist debate.

In his Enquiry concerning the Principles of Morals David Hume said that a group of earlier modern philosophers, beginning with Malebranche, held that morality was founded on relations. In this paper I follow up on that suggestion by investigating pre-Humean views in moral philosophy according to which morality is founded on relations. I do that by looking at the work of Nicolas Malebranche, John Locke, and Samuel Clarke. Each of them talked prominently about relations in their accounts of (...) basic aspects of morality. Beyond that, each of them turns out to have held both metaphysical and epistemological views that might be described as founding morality on relations. Despite the definite differences between the three philosophers’ approaches, Hume does seem to have noticed a genuine connection here—even though he himself tended to ignore significant versions of this approach when criticizing it. (shrink)

Clear and distinct perception is the centrepiece of Descartes’s philosophy — it is the source of all certainty — but what does he mean by ‘clear’ and ‘distinct’? According to the prevailing approach, what it means for a perception to be clear is that its content has a certain objective property, like truth. I argue instead that clarity is at least partly a subjective, phenomenal quality whereby a content is presented as true to the perceiving subject. Clarity comes in degrees. (...) Any weak degree of clarity, available to the senses, can be merely subjective, since what it presents as true may not actually be true. But complete clarity, available to intellectual perception, has an objective dimension, since what it presents as true is always some truth, some bit of reality. Further, I argue that the other perceptual qualities that Descartes identifies — obscurity, confusion, and distinctness — are all defined in terms of clarity. Of particular note is the fact that distinctness is not a positive feature to be added to clarity: a distinct perception is just a completely clear perception. (shrink)

This essay is my brief review of Nicholas Phillipson’s biography of Adam Smith. I discuss the highlights of his treatment of Smith’s fascinating life. Phillipson does a beautiful job of surveying Smith’s academic career. Especially useful is Phillipson’s discussion of the influence David Hume had on Smith’s thought, as well as the influences of Montesquieu, Samuel Johnson, Voltaire, Rousseau, and others.

What role, if any, should our moral intuitions play in moral epistemology? We make, or are prepared to make, moral judgments about a variety of actual and hypothetical situations. Some of these moral judgments are more informed, reflective, and stable than others (call these ourconsideredmoral judgments); some we make more confidently than others; and some, though not all, are judgments about which there is substantial consensus. What bearing do our moral judgments have on philosophical ethics and the search for first (...) principles in ethics? Should these judgments constrain, or be constrained by, philosophical theorizing about morality? On the one hand, we might expect first principles to conform to our moral intuitions or at least to our considered moral judgments. After all, we begin the reflection that may lead to first principles from particular moral convictions. And some of our moral intuitions (e.g., that genocide is wrong) are more fixed and compelling than any putative first principle. If so, we might expect common moral beliefs to have an important evidential role in the construction and assessment of first principles. On the other hand, common moral beliefs often rest on poor information, reflect bias, or are otherwise mistaken. We often appeal to moral principles to justify our particular moral convictions or to resolve our disagreements. Insofar as this is true, we may expect first principles to provide a foundation on the basis of which to test common moral beliefs and, where necessary, form new moral convictions. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

People are often offended by beliefs, expect apologies for beliefs, apologize for their own beliefs. In many mundane cases, people are morally criticized for their beliefs. Intuitively, then, beliefs seem to sometimes wrong people. Recently, the philosophical literature has picked up on this theme, and has started to discuss it under the heading of doxastic wrongdoing. In this paper we argue that despite the strength of such initial intuitions, at the end of the day they have to be rejected. If (...) it can be ever truthfully asserted that beliefs wrong, this is always derivative – beliefs wrong only in virtue of other things (like evidence-gathering actions) wronging. We distinguish between modest and ambitious doxastic wrongdoing theories (the former deny, while the latter accept, the possibility of a morally wrong yet epistemically permissible belief); we argue that each of these options faces insurmountable problems; and we offer partly debunking explanations of the intuitions purportedly supporting doxastic wrongdoing. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

It is conventional wisdom among political philosophers that ideal principles of justice must guide our attempts to design institutions to avert actual injustice. Call this the ideal guidance approach. I argue that this view is misguided— ideal principles of justice are not appropriate "guiding principles" that actual institutions must aim to realize, even if only approximately. Fortunately, the conventional wisdom is also avoidable. In this paper, I develop an alternative approach to institutional design, which I call institutional failure analysis. The (...) basic intuition of this approach is that our moral assessment of institutional proposals is most effective when we proceed from a detailed understanding of the causal processes generating problematic social outcomes. Failure analysis takes the institutional primary design task to be obviating or averting institutional failures. Consequently, failure analysis enables theorists to prescribe more effective solutions to actual injustice because its focuses on understanding the injustice, rather than specifying an ideal of justice. (shrink)

According to the grounding theory of powers, fundamental physical properties should be thought of as qualities that ground dispositions. Although this view has recently been defended by many different philosophers, there is no consensus for how the view should be developed within a broader metaphysics of properties. Recently, Tugby has argued that the view should be developed in the context of a Platonic theory of properties, where properties are abstract universals. I will argue that the view should not be developed (...) within such a framework. Either the view should be developed with an ontology of Aristotelian properties, or it should be developed in a Nominalist framework that contains no properties at all. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

Intermodal representationalists hold that the phenomenal characters of experiences are fully determined by their contents. In contrast, intramodal representationalists hold that the phenomenal characters of experiences are determined by their contents together with their intentional modes or manners of representation, which are nonrepresentational features corresponding roughly to the sensory modalities. This paper discusses a kind of experience that provides evidence for an intermodal representationalist view: intermodal experiences, experiences that unify experiences in different modalities. I argue that such experiences are much (...) easier to explain on the intermodal view. (shrink)

This paper asks whether phenomenal intentionality (intentionality that arises from phenomenal consciousness alone) has a relational structure of the sort envisaged in Russell’s theory of acquaintance. I put forward three arguments in favor of a relation view: one phenomenological, one linguistic, and one based on the view’s ability to account for the truth conditions of phenomenally intentional states. I then consider several objections to the relation view. The chief objection to the relation view takes the form of a dilemma between (...) Platonic and Aristotelian conceptions of the properties constitutive of the contents of phenomenally intentional states on this view: the Aristotelian view seems unable to account for all the apparent contents of phenomenally intentional states, but the Platonic view seems to be ontologically unacceptable. I also consider other objections from physicalism, phenomenology, and epistemology. (shrink)

This paper seeks to rehabilitate St. Augustine’s widely dismissed response to the alleged incompatibility of divine foreknowledge and free will. This requires taking a fresh look at his analysis in On Free Choice of the Will, and arguing its relevance to the current debate. Along the way, mistaken interpretations of Augustine are rebutted, his real solution is developed and defended, a reason for his not anticipating Boethius’s a temporalist solution is suggested, a favorable comparison with Ockham is made, rival solutions (...) are rejected, and the aporetic nature of the problem is explained. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Philosophy &Public Affairs, Volume 51, Issue 4, Page 373-412, Fall 2023.

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

I argue that John Dewey’s analysis of imagination enables an account of learning from imaginary cases consistent with Jonathan Dancy’s moral particularism. Moreover, this account provides a more robust account of learning from cases than Dancy’s own. Particularism is the position that there are no, or at most few, true moral principles, and that competent reasoning and judgment do not require them. On a particularist framework, one cannot infer from an imaginary case that because a feature has a particular moral (...) importance there, that it must have that import in an actual case. Instead, for Dancy, cases can yield “reminders,” and a person with a lot of experience (real or imagined) brings a “checklist” of features that can matter to a situation. Using the Nathan-David exchange from 2 Samuel and Martha Nussbaum’s “Steerforth’s Arm” from Love’s Knowledge, I show that this account does not explain all instances of learning from cases. Drawing on recent work on cases, I argue that cases can be educative by serving an exploratory function, probing what one takes to be known and provoking change in the background one uses in evaluating a situation. I then argue that Dewey’s work on imagination in his comments on sympathy and in A Common Faith and Art as Experience enables such a role for cases on a particularist framework. Mark Johnson’s recent work on metaphor further illuminates how Dewey’s account of art can be exploratory. I contend that this account affords an exploratory role for cases consistent with Dancy’s particularism. (shrink)

Lady Mary Shepherd holds that the relation of cause and effect consists of the combination of two objects to create a third object. She also holds that this account implies that causes are synchronous with their effects. There is a single instant in which the objects that are causes combine to create the object which is their effect. Hume argues that cause and effect cannot be synchronous because if they were then the entire chain of successive causes and effects would (...) all collapse into a single moment, and succession would not be possible. I argue that Shepherd has a ready, although implicit response, to Hume’s argument. Since causation is combination on Shepherd’s view, she is free to hold that there are times in between those instants in which combinations occur, during which times other, non-combinatory changes occur, which changes account for succession. (shrink)

In order to be doing something intentionally, must one know that one is doing it? Some philosophers have answered yes. Our aim is to test a version of this knowledge thesis, what we call the Knowledge/awareness Thesis, or KAT. KAT states that an agent is doing something intentionally only if he knows that he is doing it or is aware that he is doing it. Here, using vignettes featuring skilled action and vignettes featuring habitual action, we provide evidence that, in (...) various scenarios, a majority of non-specialists regard agents as intentionally doing things that the agents do not know they are doing and are not aware of doing. This puts pressure on proponents of KAT and leaves it to them to find a way these results can coexist with KAT. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.